1961. Theories of Intensionality
پدیدآورنده : Title
کتابخانه: Central Library of Imam Khomeini International University of Qazvin (Qazvin)
موضوع : Intention )Logic(,Logic, Symbolic and mathematical,Electronic books,Electronic books
رده :
EBOOK
,
BC
.
I5
199
1962. Theories of intensionality : a critical survey
پدیدآورنده : Parsons, David
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Intention )Logic(,، Logic, Symbolic and mathematical
رده :
BC
199
.
I5P37
1963. Theory of Finite and Infinite Graphs
پدیدآورنده : by Dénes König.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Combinatorics.,Logic, Symbolic and mathematical.,Mathematics.
1964. Theory of Graded Consequence :
پدیدآورنده : Mihir Kumar Chakraborty, Soma Dutta.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Logic, Symbolic and mathematical.,Uncertainty (Information theory),Logic, Symbolic and mathematical.,Uncertainty (Information theory)
رده :
QA9
.
C45
2019
1965. Theory of formal systems /
پدیدآورنده : R.M. Smullyan.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Logic, Symbolic and mathematical.,Mathematics.,Recursive functions.,Logic, Symbolic and mathematical.,Mathematics.,Recursive functions.,SCIENCE-- System Theory.
رده :
QA248
.
5
1966. Theory of graded consequence :
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Logic, Symbolic and mathematical. ;
1967. Theory of language syntax
پدیدآورنده : Urszula Wybraniec-Skardowska ; ]translated from the Polish by Olgierd Adrian Wojtasiewicz[,Title
کتابخانه: Central Library of Imam Khomeini International University of Qazvin (Qazvin)
موضوع : Categorial grammar,Formal languages,Logic, Symbolic and mathematical
رده :
EBOOK
,
P
.
W913
161
1991
1968. Thinking, feeling, and being: Clinical reflections on the fundamental antinomy of human beings and world
پدیدآورنده : Icnacio Matte-Blanco
موضوع : Subconscousness,Fred, Sigmund, 1856 - 1939,Logic, Symbolic and mathematical,Psychoanalysis
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
1969. Thinking about G?del and Turing
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : G?del's theorem. ; Incompleteness theorems. ; Logic, Symbolic and mathematical. ; Metamathematics. ; Computational complexity. ;
1970. Thinking, feeling, and being: clinical reflections on the fund amental antinomy of human beings and world
پدیدآورنده : Matte-Blanco, Ignacio.
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : Subconsciousness,Freud, sigmund, 6581-9391,، Logic, Symbolic and mathematical,، Psychoanalysis
رده :
BF
315
.
M34
1988
1971. Thirty Five Years of Automating Mathematics.
پدیدآورنده : Dov M Gabbay
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Logic, Symbolic and mathematical.
1972. Thirty years of foundational studies; lectures on the development of mathematical logic and the study of the foundations of mathematics in 1930-1964
پدیدآورنده : Mostowski, Andrzej
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Logic, Symbolic and mathematical,، Mathematics-- Philosophy
رده :
B
28
.
F5
.
A3
Fasc
.
17
1973. Three views of logic
پدیدآورنده : Donald W. Loveland, Richard E. Hodel, S.G. Sterrett
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Logic,Logic, Symbolic and mathematical
1974. Time and modality :
پدیدآورنده :
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Logic, Symbolic and mathematical.,08.33 logics and argumentation.,Epistemic logic.,Logic, Symbolic and mathematical.,Logic, Symbolic and mathematical.,Modale logica.,Modality (Logic),Tense (Logic)
رده :
BC135
.
P78
1975. Topics in decision problem
پدیدآورنده : / A monograph by M. S. Adib-Soltani,Adib Sultani
کتابخانه: Central Library of Astan Quds Razavi-Hall of Foreign Books (Khorasan Razavi)
موضوع : Logic, Symbolic and mathematical
رده :
511
.
3
A
235
T
1976. Topics in engineering logic
پدیدآورنده : Madler, Morton.
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Electronic digital computers-- Design and construction,، Logic, Symbolic and mathematical
رده :
TK
7888
.
3
.
N3
1962
1977. Toposes, Algebraic geometry and logic
پدیدآورنده : ]by[ I.Bucur ]and others[ edited by F.W.Lawvere
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : Congresses ، Categories )Mathematics(,Congresses ، Nosa Detected Damaged Record #4254,Congresses ، Logic, Symbolic and mathematical
رده :
QA
3
.
L28
no
.
274
1978. Toposes, algebraic geometry and logic
پدیدآورنده : ]by[ I. Bucur... ]et al.[ ; Edited by F. W. Lawvere
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : Congresses ، Categories )Mathematics(,Congresses ، Geometry, Algebraic,Congresses ، Logic, Symbolic and mathematical,، Toposes
رده :
QA
169
.
T6
1972
1979. Toposes, algebraic geometry and logic : Dalhousie University, Halifax, January 16-19, 1971
پدیدآورنده : I. Bucur ... ]et al.[; edited by F. W. Lawvere
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Categories )Mathematics(,Congresses ، Geometry, Algebraic,Congresses ، Logic, Symbolic and mathematical,Congresses ، Toposes
رده :
QA
3
.
L28
Vol
.
274
1980. Toposes and local set theories: an introduction
پدیدآورنده : / J.L.Bell
کتابخانه: Central Library and Document Center of Arak University (Markazi)
موضوع : Toposes,Set theory,Logic,symbolic and mathematical
رده :
512
.
55
B433t
